BODY {
  margin: 0px 50px 50px 55px;
  PADDING-left: 45px;
  padding-right: 40px;
  BACKGROUND: #f9f9ee; 
  COLOR: #000000; 
  FONT: 14px/1.4 'Trebuchet MS',Verdana, Arial, Helvetica, sans-serif;
  line-height: 1.8;
  background-image: url(../images/bg.gif);
  background-repeat: repeat-y;
/*  text-align: justify;*/
}

	
A {
  font-weight: bold;
  font-family: Verdana;
  /*color: #00008b;*/
  color: #c00;
  TEXT-DECORATION: none;
}

A:hover {
/*  BACKGROUND: #fff;
	color: #fff;
   	BORDER: #c00  1px dashed;
  COLOR: #c00; 
	background: #ffe7e7; */
  text-decoration: underline; 
  color: blue;
}
/*
H1 A {
  COLOR: #ff3300
}

H2 A {
  COLOR: #ff3300
}

H3 A {
  COLOR: #ff3300
}

H4 A {
  COLOR: #ff3300
}
*/
H1{
  margin-top: 0px; 
  margin-left: -125px;
  margin-right: -90px;
   padding: 22px 0px 16px 60px;
  font-family: georgia, "Trebuchet MS";
  FONT-WEIGHT: bolder;
  COLOR: #004f37;
/*  Border-bottom: #004f37 2px solid; */
  /*Border-left-width: 6px;*/
  background: #d9e7e2 url(../images/sky.png) repeat-x;
  font-size: 40px;
  line-height: 1; 
}

H2 {
  margin-left: -35px;
  margin-right: 0px;
  margin-top: 50pt;
  PADDING: 3px 0px 3px 10px; 
/*  COLOR: #005a9c;
  COLOR: #f63811;
  COLOR: #c61a02; */ 
  COLOR: #005a9c;
  font-family: georgia, "Trebuchet MS";
  FONT-WEIGHT: BOLD;
  font-size: 20px;
/*  BORDER-BOTTOM: #005a9c 1px solid;*/
  BORDER: #005a9c 1px solid; 
  BORDER-LEFT: #005a9c 6px solid; 
/*  Border-width: 1px;*/
/*  BORDER-STYLE: ridge;*/
  BACKGROUND: #c4d9ef; 
  line-height: 1;
  background-image: url(../images/lightblue.gif);
}


H3 {
  margin-left: -25px;
  margin-right: 0px;
  margin-top: 40pt;   
  PADDING: 3px 0px 3px 10px;
  COLOR: #2b804c;
/*  COLOR: #6b18e7;
    color: #ff3300;*/
  font-family: "Trebuchet MS";
  FONT-WEIGHT: BOLD;
  font-size: 18px;
  BORDER-bottom: #2b804c 1px solid; 
  BORDER-LEFT: #2b804c 6px solid;
/*  BORDER-BOTTOM: #6b18e7 1px dashed;
  border-style: groove; */
  BACKGROUND: #d9eae0;
  line-height: 1;
  background-image: url(../images/lightgreen.gif);
}

H4 {
  margin-left: -15px;
  margin-right: 0px;
  PADDING: 3px 0px 3px 10px;
  font-family: "Trebuchet MS";
  FONT-WEIGHT: bold;
  font-size: 16px;
  /* COLOR: (#963455; fce6eb) (4d2b82, e0d5f1) */
  COLOR: #d04b44;
  BORDER-bottom: #d04b44 1px solid;
  BORDER-LEFT: #d04b44 6px solid;
/*  BACKGROUND: #f2dad8; */
  line-height: 1;
/*  background-image: url(../images/nicebg2.png);*/
}

H5 {
/*   border: grey 1px dashed; */
  margin: 10px 0px 2px 0px;
  font-size: 14pt;
  color: #7b7b5a;
  line-height: 1;
}

H2:hover, H3:hover, H4:hover, H5:hover {
  BORDER-bottom-style: dashed; 
}


H2:link, H2:active, H3:link, H3:active, H4:link, H4:active, H5:link, H5:active {
	border-width: 1px;
	border-style: inset;
}

H6.mulu {
/*  color: #083729;*/
	color: #46357c;
  margin: 0px 0px -10px -35px;
  font-size: 14px;
}

IMG {
  /*BORDER: 1px solid;
  align: right;
  Float: right;*/
  MARGIN-top: 15px;
  margin-bottom: 5px;
}

a img {
	border: none;
	background:  none;
}

PRE {
  line-height: 1.6;
  FONT: 9pt "Bitstream Vera Sans", Courier New, helvetica;
  COLOR: #284d6a;
  /*BORDER: rgb(79, 138, 191) 1px dashed;*/
/*  BORDER: #ccaa00 1px solid; */
  PADDING: 0.5em 0em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  BACKGROUND: #c4e6f0; 
  /*background-image: url(../images/bg_old.gif);*/
  background-image: url(../images/brick.gif);
/*  BACKGROUND: #f7fcee;*/
}
/*
pre:hover, pre.example:hover {
	border-style: outset;
}

pre:link, pre:active, pre.example:link, pre.example:active {
	border-style: inset;
}
*/
div.mulu {
  margin-left: -35px;
  margin-bottom: 3em;
  padding-top: -2em;
  padding-bottom: -2em;
  padding-left: 35px;
  border-top: grey 1px dashed;
  border-bottom: grey 1px dashed; 
  background: transparent url("../images/menu_tr.gif");
}


div.me {
  FONT: 9pt Courier New, helvetica;
  color: #3c5e08;
  BORDER: #ccaa00 1px solid;
  PADDING: 0.5em 0.5em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  background-image: url(../images/nice.gif);
}


PRE.example {
 /* COLOR: #80856e;
  color: #8b4513;*/
  color: #3c5e08;
/*  BORDER: #9f8787 1px solid;*/
/*  BORDER: #f0807f 1px dashed;*/
  BORDER: #ccaa00 1px solid;
  PADDING: 0.5em 0.5em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
  background-image: url(../images/nice.gif);
}

.verse {
  MARGIN-LEFT: 1em;
  WHITE-SPACE: pre;
}

DT {
  padding-top: 1em;
  font-size: 14px;
  FONT-WEIGHT: bold;
  color: #ee4000;
}


P {
  MARGIN-LEFT: 0px;
  margin-right: 0px;    
/*  text-align: justify;*/
}

P A {
	font-family: 'Trebuchet MS';
}

/* what to make light gray? as this #fxfxfx, x bigger, the lighter*/
/*P:hover, tr:hover, td:hover, li:hover, dt:hover, dd:hover {
	background: #f1f9f4;	
	background: #eef1f4;	
	background: #f6f8f8;	
}*/




/*
P:first-letter 
{
  font-weight:bold;
  color: black;
}
*/

	
ul, ol {
  margin-left: 30px;
  margin-right: 0px;
  padding: 0px;
/*  text-align: justify;*/
}

ul{
  list-style-image: url(../images/ul.gif);
}

ul ol{
  list-style-image: none;
}

ul ul {
  list-style-image: url(../images/ulul.gif);
}

ol ul {
  list-style-image: url(../images/olul.gif);
}

strong em {
  /*color: #ff2200;*/
  color: #000066;
}

strong {
  /* color: #8b008b;*/
  color: black;
}

em {
  /*   color: #8b2323;   */
  color: #003399;
  font-style: oblique;
}

/* under line*/
u {
  text-decoration: none;
  font-style: oblique;
  /*color: #284d6a;*/
  color: #68228b;
}

.navfoot {
/*	margin-left: -35px; 
	margin-right: -40px; */
	width: 100%;
	text-align: center;
}

.footdate {
  FONT: small Verdana,  Arial, Times New Roman, Courier New, Helvetica;
  /*	BORDER-RIGHT: buttonshadow 1px solid;
     PADDING-RIGHT: 2px;
     BORDER-TOP: buttonhighlight 1px solid; 
     PADDING-LEFT: 3px; 
     OVERFLOW: hidden; 
     BORDER-LEFT: buttonhighlight 1px solid; 
     BORDER-BOTTOM: buttonshadow 1px solid; 
     HEIGHT: 23px;
     background: #efefef;*/
}

.foothome {
  FONT: small  Verdana, Arial, Times New Roman, Courier New, Helvetica;
  /*		BORDER-RIGHT: buttonshadow 1px solid;
     PADDING-RIGHT: 2px;
     BORDER-TOP: buttonhighlight 1px solid; 
     PADDING-LEFT: 3px; 
     OVERFLOW: hidden; 
     BORDER-LEFT: buttonhighlight 1px solid; 
     BORDER-BOTTOM: buttonshadow 1px solid; 
     HEIGHT: 23px;
     background: #ffd112;*/
}

table {
  margin-top: 5px;
  margin-bottom: 5px;
}
td {
/*
  BORDER-RIGHT: buttonshadow 1px solid;
  PADDING-RIGHT: 1px;
  BORDER-TOP: buttonhighlight 1px solid; 
  PADDING-LEFT: 1px; 
  BORDER-LEFT: buttonhighlight 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  OVERFLOW: hidden; 
  HEIGHT: 23px; 
  border: 1px solid #CCCCCC;                  */
  font-family: Helvetica, arial, sans-serif;
  vertical-align: baseline;
  padding-left: 50px;
  padding-right: 30px; 
/*background: #e0e0c0; 
  background: #ddeecc; */
  font-size: 13px;
}


th {
  /* text-align: left;
     padding-top: 10px;
     padding-left: 10px;
     border: none;*/
  BORDER-RIGHT: buttonshadow 1px solid;
  PADDING-RIGHT: 2px;
  BORDER-TOP: buttonhighlight 1px solid; 
  PADDING-LEFT: 3px; 
  OVERFLOW: hidden; 
  BORDER-LEFT: buttonhighlight 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  HEIGHT: 23px;
/*  background: #ffd112; */
  font-size: 13px;

}

hr {
	margin-left: -35px;
}

.toplink { 
	font-size: x-small; 
	float: right;
	line-height:1;
}
.toplink A { 
	text-decoration: none;
	color: inherit;
	background: inherit;
}
.toplink A:hover { text-decoration: underline }
/*.toplink A:visited { color: darkgray; text-decoration: none }*/


/* menu */

.menu:before {
	line-height: 0.1;
	font-size: 1px;
	background: transparent url("../images/menu_tr.gif") no-repeat top right;
	margin: 0;
	height: 9px;
	display: block;
	border-bottom: 1px solid #ddd;
	content: url("../images/key-point_tl.gif");
}
.menu {
	background: #E0E9E9 url("../images/menu_back.gif") right repeat-y;
	float: right;
	clear: both;
}
.menu:after {
	display: block;
	padding-top: 0;
	line-height: 0.1;
	font-size: 1px;
	content:  url("../images/key-point_bl.gif");
	margin: 0 0 0 0;
	height: 8px;
	background: transparent url("../images/menu_br.gif") scroll no-repeat bottom right ;
	border-top: 1px solid #fff;
}

.menu, .menuitem {
	margin: 0;
	padding: 0;
	list-style: none;
}

.menuitem {
    FONT: 11px Verdana, Courier New;
	display: inline;
	padding: 0;
	margin: 0;
}

.menuitem a {
	display: block;
	padding: 1px 10px 1px 10px;
	color: #00008b;
	text-decoration: none;
	background: #EDF2F2;
	border-bottom: 1px solid #ddd;
	border-top: 1px solid #fff;
	border-right: 1px solid #ddd;
}

.menuitem a:hover {
/*	background: #E0E9E9;
	color: #c00; */
	color: #00008b;
	background: #cceeff;
}

/* table of contents for this page*/
.contents {
	padding-top: 2px;
    FONT: 10px Verdana, Courier New;
} 

dt.contents:before {
	display: inline;
	content: url("../images/dotnice.gif");
}

dt.contents a {
	font-size: 12px;
	color: #c00;
	display: inline;
}

dt.contents a:hover {
/*  background-color: #ffe7e7; */
}

dl.contents
{
  border-left: 1px solid #aaa;
  margin-top: 0;
}

dd dl dt.contents:before {
	display: inline;
	content: url("");
}

dd dl dt.contents a {
	font-weight: normal;
	font-size: 11px;
	color: #007f1d;
	display: block;
}

dd dl dt.contents a:hover {
  background-color: #dfffe6;
}

span.comment {
  line-height: 1.6;
  font-weight: normal;
}

/* for program source*/
.comment {
  /* font-lock-comment-face */
  color: #cd0000;
  font-weight: bold;
  font-style: italic;
}

.function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
  font-weight: bold;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a020f0;
  font-weight: bold;
}
.preprocessor {
  /* font-lock-preprocessor-face */
  /*color: #7fffd4;*/
  color: black;
  font-weight: bold;

}
.string {
  /* font-lock-string-face */
  color: #008b00;
}
.type {
  /* font-lock-type-face */
  color: #000080;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #8b5a2b;
}

.doc {
  /* font-lock-comment-face */
  color: #F0A4A4;
}


/*Google search*/
.searchbar {
   margin-top: -80px;
   margin-right: 70px;
   padding: 12px 20px 0 0;
   float: right;
   text-align: left; 
   white-space: nowrap; 
   color: #004f37;
}
.searchbar label { font-size: 90%; }
.searchbar input { font-size: 90%; }

.searchbar #submit {
   font-size: 10%;
   background: #ffffff;
   color: #004f37;
   padding: 1px 2px;
   border-right: 1px solid #000000;
   border-bottom: 1px solid #000000;
   border-top: 1px solid #e6e6e6;
   border-left: 1px solid #e6e6e6;
}

.searchbar #q {
   width: 130px;
   font-size: 10%;
   border: 1px solid #ccaa00;
   background: #efffef;
   padding: 2px;
}
.searchbar #q:hover, .header form #q:focus {
   background: #ffffff;
}
